kernel/proc/swtch.o: kernel/proc/swtch.S
